Functional Programming for & Fun Profit*

Source URL: tandem.gasi.ch

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Source URL: xavierleroy.org

A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL

Source URL: www.iiisci.org

Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

Source URL: www.pautasso.info

c 1993 Cambridge University Press J. Functional Programming 1 (1): 1{000, JanuaryBenchmarking Implementations of Functional Languages with

Source URL: www.iro.umontreal.ca

• Software engineering
• Computer programming
• Computing
• Functional languages
• Procedural programming languages
• Programming languages
• Compiler construction
• Object-oriented programming languages
• ML
• Lennart Augustsson
• Caml
• Haskell

Univalence Thorsten Altenkirch Functional Programming Laboratory

Source URL: hott-uf.gforge.inria.fr

Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming:

Source URL: matt.might.net

• Formal languages
• Models of computation
• Pushdown automaton
• Software engineering
• Language
• Computability
• Stack
• Context-free language
• Culture
• Abstract interpretation
• Context-free grammar
• Tree stack automaton

Why Functional Programming Matters

Source URL: www.xfront.com

Under consideration for publication in J. Functional Programming 1 Interfaces for stack inspection Fr´ed´eric Besson and Thomas de Grenier de Latour and Thomas Jensen∗

Source URL: people.rennes.inria.fr

Bringing OOP Best Practices to the World of Functional Programming Elana Hashman Rackspace Managed Security Lambda Ladies DC – October 2017 @ehashdn

Source URL: hashman.ca